Computer Science Electives

Module	LV Type	CP	LV	Dates
[KP27275] Privacy Enhancing Technologies	Vorlesung/Übung		526456	Mo 12:00-14:00 Extern (×13) Mo 14:00-16:00 Extern (×13) Mi 12:00-14:00 Extern (×14)
Advanced Algorithmic Differentiation	Fach-/Modulprüfung	6	535403
Advanced Algorithmic Differentiation	Vorlesung/Übung		532361	Mo 10:30-12:00 AH III (2350\|314.1) (×13) Mi 12:30-14:00 AH III (2350\|314.1) (×14)
Advanced Internet Technology	Fach-/Modulprüfung	6	528031
	Vorlesung		523913	Di 14:30-16:00 AH I (2350\|028) (×12) Fr 10:30-12:00 AH I (2350\|028) (×9)
	Übung		524317	Fr 12:30-14:00 AH I (2350\|028) (×8)
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	531318
Communication Systems Engineering	Fach-/Modulprüfung	6	527988
Dynamical Processes on Networks	Fach-/Modulprüfung	6	529284
Eingebettete Systeme	Fach-/Modulprüfung	6	532112
	Vorlesung/Übung		524753	Mo 16:30-18:00 H07 (1385\|104) (×12) Mi 10:30-12:00 H07 (1385\|104) (×10)
	Vorlesung/Übung		527290	Mo 14:30-16:00 AH III (2350\|314.1) (×12) Di 18:30-20:00 H06 (1385\|004) (×10)
Foundations of Functional Programming	Fach-/Modulprüfung	6	530040
Foundations of Logic Programming	Fach-/Modulprüfung	6	531301
	Übung		532443	Do 10:30-12:00 AH IV (2354\|030) (×10) Do 16:30-18:00 AH II (2350\|111) (×1)
	Vorlesung		532442	Do 10:30-12:00 AH IV (2354\|030) (×1) Do 13:30-18:00 AH IV (2354\|030) (×1) Do 16:30-18:00 AH II (2350\|111) (×9) Fr 14:30-16:00 AH III (2350\|314.1) (×11)
Industrial Data Security	Fach-/Modulprüfung	6	534964
	Vorlesung		534234	Di 10:30-12:00 AH I (2350\|028) (×1) Di 10:30-12:00 AH V (2356\|050) (×4) Di 10:30-12:00 AH VI (2356\|051) (×4) Mi 10:30-12:00 AH V (2356\|050) (×12)
	Übung		534235	Do 10:30-12:00 AH II (2350\|111) (×6)
Infinite Computations and Games	Fach-/Modulprüfung	6	528510
Introduction to Quantum Computing	Fach-/Modulprüfung	6	529571
	Vorlesung		526173	Mo 16:30-18:00 TEMP1 (1515\|001) (×13) Fr 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385\|003) (×13)
	Übung		526126	Di 10:30-12:00 TEMP2 (1515\|002) (×12)
Konzepte und Modelle der parallelen und datenzentrischen Programmierung	Fach-/Modulprüfung	6	532247
	Vorlesung/Übung		525761	Mo 14:30-16:00 H05 (1385\|105) (×11) Di 14:30-16:00 H05 (1385\|105) (×11)
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	531403
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		525837	Mo 12:30-14:00 5056 (2356\|056) (×12) Do 12:30-14:00 5056 (2356\|056) (×10)
Linux Kernel Programming	Fach-/Modulprüfung	6	534252
	Vorlesung		534082	Di 16:30-18:00 AH VI (2356\|051) (×14)
	Übung		534083	Mo 10:30-12:00 UMIC_025 (2165\|025) (×12) Do 10:30-12:00 UMIC_025 (2165\|025) (×10)
Mathematische Heuristiken in der diskreten Optimierung	Fach-/Modulprüfung	9	533315
	Vorlesung		533312	Di 10:30-12:00 t.b.d. (×11) Di 10:30-14:00 Großer B-IT Raum (2356\|053.2) (×1) Do 10:30-12:00 ST 8 (1665\|008) (×11)
	Übung		533314	Do 08:30-10:00 5056 (2356\|056) (×11)
Mobile Internet Technology	Fach-/Modulprüfung	6	531302
Mobile Internet Technology	Vorlesung/Übung		524897	Mo 14:30-16:00 AH I (2350\|028) (×8) Do 10:30-12:00 AH I (2350\|028) (×6) Fr 14:30-16:00 AH I (2350\|028) (×10)
Model Checking	Fach-/Modulprüfung	6	531296
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	531297
Optimization and Uncertainty	Fach-/Modulprüfung	6	535020
	Vorlesung		535018	Mo 10:30-12:00 AH I (2350\|028) (×13) Di 08:30-10:00 AH III (2350\|314.1) (×14)
	Übung		535019	Mi 10:30-12:00 SG 512 (1810\|512) (×13)
Privacy Enhancing Technologies for Data Science	Fach-/Modulprüfung	4	534627
Privacy Enhancing Technologies for Data Science	Vorlesung/Übung		534243	Di 14:30-16:00 AH II (2350\|111) (×13) Do 16:30-18:00 AH I (2350\|028) (×9)
Probabilistic Programming	Fach-/Modulprüfung	4	528386
Research Focus Class on Communication Systems	Fach-/Modulprüfung	6	531303
Semantik und Verifikation von Software	Fach-/Modulprüfung	6	531231
Software Language Engineering	Projekt	6	526175
Software Language Engineering	Vorlesung/Übung		525948	Di 12:30-14:00 AH I (2350\|028) (×13) Mi 16:30-18:00 AH IV (2354\|030) (×13) Do 16:30-18:00 AH III (2350\|314.1) (×11)
Software-Projektmanagement	Fach-/Modulprüfung	4	531306
	Vorlesung		525464	Di 11:00-12:30 AH IV (2354\|030) (×1) Mi 12:30-14:00 AH VI (2356\|051) (×1) Mi 14:45-17:00 AH VI (2356\|051) (×1) Do 12:30-14:00 AH VI (2356\|051) (×6) Fr 10:30-12:00 AH VI (2356\|051) (×13)
	Übung		523985	Fr 12:30-14:00 AH VI (2356\|051) (×13)
Statische Programmanalyse	Fach-/Modulprüfung	6	528184
Theory of Distributed Systems	Fach-/Modulprüfung	6	535016
	Vorlesung		535014	Mo 08:30-10:00 AH I (2350\|028) (×11) Di 10:30-12:00 AH I (2350\|028) (×10)
	Übung		535015	Mi 16:30-18:00 HKW 3 (1132\|504) (×2) Do 10:30-12:00 HKW 3 (1132\|504) (×11)